event m1<c> : end(call(* c.m1()));
	event m2<c> : end(call(* c.m2()));
	start symbol : A;
    formula : A -> B m2,
              B -> B m1 | epsilon;  
